Optimizing Alloy for Multi-objective Software Product Line Configuration
نویسندگان
چکیده
Software product line (SPL) engineering involves the modeling, analysis, and configuration of variability-rich systems. We improve the performance of the multi-objective optimization of SPLs in Alloy by several orders of magnitude with two techniques. First, we rewrite the model to remove binary relations that map to integers, which enables removing most of the integer atoms from the universe. SPL models often require using large bitwidths, hence the number of integer atoms in the universe can be orders of magnitude more than the other atoms. In our approach, the tuples for these integer-valued relations are computed outside the sat solver before returning the solution to the user. Second, we add a checkpointing facility to Kodkod, which allows the multi-objective optimization algorithm to reuse previously computed internal sat solver state, after backtracking. Together these result in orders of magnitude improvement in using Alloy as a multi-objective optimization tool for software product lines.
منابع مشابه
Optimizing a bi-objective vendor-managed inventory of multi-product EPQ model for a green supply chain with stochastic constraints
In this paper, a bi-objective multi-product single-vendor single-buyer supply chain problem is studied under green vendor-managed inventory (VMI) policy based on the economic production quantity (EPQ) model. To bring the model closer to real-world supply chain, four constraints of model including backordering cost, number of orders, production budget and warehouse space are considered stochasti...
متن کاملOptimizing a reverse supply chain including transportation, operation, maintenance and remanufacturing costs
Reverse supply chain is a process dealing with the backward flows of used/damaged products or materials. Reverse supply chain includes activities such as collection, inspection, reprocess, disposal and redistribution. A well-organized reverse supply chain can provide important advantages such as economic and environmental ones. In this study, we propose a general framework and formulate a m...
متن کاملAutomating Staged Product Derivation for Heterogeneous Multi-Product-Lines
Software constitutes a major cost factor when developing technical systems. To reduce this cost, systematic reuse of assets is necessary from early on when developing similar products—an approach that has become known as software product line engineering. The automation of product derivation, that is, the automated product creation from core assets, is one of the success factors of product line...
متن کاملProceedings of the Software Product Lines Doctoral Symposium
A key objective of product line engineering is to accelerate the configuration of products to different customer needs. Deriving products from a software product line remains challenging, even for experienced software engineers. However, the configuration process typically also involves nontechnicians such as sales people with only little understanding of the underlying technical software solut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014